COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	.require "let.pub[let,jmc]" source
C00006 ENDMK
C⊗;
.require "let.pub[let,jmc]" source
∂CSL Professor Andrei Ershov↓Computing Center↓Novosibirsk 630090↓USSR∞

Dear Andrei,

	It was good to get your Christmas letter.

	I hadn't known of your bout with cancer, and I hope all has
gone as well as your letter indicates.

	Also I hope all goes well with your computer-in-schools
project, which has attracted considerable press attention here.
There is some skepticism about Soviet ability to produce the
necessary microcomputers and willingness to distribute them
as widely as needed.  My own opinion is that you will succeed
eventually, although there may be delays.  My other opinion is
that a visit from you in connection with this project would
excite great interest and most likely offers of collaboration
from Americans with similar interests.

	I also have personal news.  My son Timothy Talcott McCarthy
was born last November 9 and is doing well.  Enclosed are some
pictures.

	Mostly I am working on formalizing common sense knowledge
using variants of circumscriptions.  The logic part is going
particularly well, since my collaborator, Vladimir Lifschitz,
knows more logic than I.  As usual the really hard part is
isolating the common sense knowledge.  However, many more people
all over the world are working on this problem that I used to
have almost to myself.  The ``blocks world'' has been revived,
and it is now agreed that not all its problems have been solved.

	Les Earnest is now working for me again, after spending
five years starting a company called Imagen that makes laser
printers.  This is in connection with a project to make a Lisp
for parallel computers.  The language is called Qlisp.  A paper
on it by Richard Gabriel and myself was published in the proceedings
of the 1984 Lisp Conference under the name Qlambda.  We only later
changed the name to Qlisp, when Earl Sacerdoti, who had used the
name Qlisp for something else, agreed his usage was retired, so
we could have the name.

	Our other project, not really started, is an editor-based
operating system for IBM's newly announced PC-RT.  RT stands for
RISC technology, and the architecture is one that John Cocke
developed many years ago.

	My best regards to Nina and your children.  Also transmit
my regards to Marchuk when you next see him.

Sincerely,

.regp